Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·16h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·21h·
Discuss: Hacker News
📦WebAssembly
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
🔍eBPF
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·9h·
Discuss: Hacker News
🚢DevOps
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·6h·
Discuss: r/programming
📡Distributed Systems
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2h·
Discuss: Hacker News
🚢DevOps
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·15h
🦀Rust
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
aivojournal.org·1d·
Discuss: Hacker News
👁️Observability
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·15h·
Discuss: Lobsters, Hacker News
🔍eBPF
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
📡Distributed Systems
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·2d·
Discuss: Hacker News
🚢DevOps
Flag this post
Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·1d·
Discuss: Hacker News
🔍eBPF
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·9h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Reinventing Assertions
beust.com·2d·
Discuss: Hacker News
🔄Compiler Design
Flag this post
What are you doing this weekend?
lobste.rs·1d·
Discuss: Lobsters
🔄Compiler Design
Flag this post
Smaller Surfaces
nrempel.com·17h·
Discuss: Hacker News
📦WebAssembly
Flag this post